Logical Data Expiration (Invited Talk)
نویسنده
چکیده
Data expiration is an essential component of data warehousing solutions: whenever large amounts of data are repeatedly collected over a period of time, it is essential to have a clear approach to identifying parts of the data no-longer needed and a policy that allows disposing and/or archiving these parts of the data. Such policies are necessary even if adding storage to accommodate an evergrowing collection of data were possible, since the growing amount of data needs to be examined during querying and turn leads to deterioration of query performance over time. The approaches to data expiration range from adhoc administrative policies or regulations to sophisticated data analysis-based techniques. The approaches have, however, one thing in common: intuitively, they try to identify the parts of the data collection that are not needed in the future. The key to deciding if a piece of information will be needed in the future lies in identifying what queries can be asked over the collection of data and how the collection can evolve from its current state. The various techniques proposed in the literature differ in the way they identify no longer needed parts
منابع مشابه
Statistical Relational Learning - A Logical Approach (Abstract of Invited Talk)
In this talk I will briefly outline and survey some developments in the field of statistical relation learning, especially focussing on logical approaches. Statistical relational learning is a novel research stream within artificial intelligence that combines principles of relational logic, learning and probabilistic models. This endeavor is similar in spirit to the developments in Neural Symbo...
متن کاملInvited talk: Developing Efficient SMT Solvers
Decision procedures for checking satisfiability of logical formulas are crucial for many verification applications. Of particular recent interest are solvers for Satisfiability Modulo Theories (SMT). SMT solvers decide logical satisfiability (or dually, validity) of formulas in classical multi-sorted first-order logic with equality, with respect to a background theory. The success of SMT for ve...
متن کاملInvited talk at TAUP93
A review on the present state of the baryogenesis is given with an emphasis on electroweak baryogenesis. Technical details of the numerous models considered in the literature are not elaborated but unresolved problems of the isssue are considered. Different logically possible alternatives of the electroweak scenarios are presented. A possible impact of baryogenesis on the universe structure for...
متن کاملLogical Framework Design
Why not just classical logic? Iliano Cervesato I was recently invited to give a presentation about the logical framework LLF. After a 40 minutes talk in which I revealed the intricacies of the underlying type theory and illustrated by means of examples the meta-representation wonders of this new language, somebody in the audience said: \This looks very complicated. Why not using, say, classical...
متن کاملInvited Talk: Learning probability by comparison
Learning probability by probabilistic modeling is a major task in statistical machine learning and it has traditionally been supported by maximum likelihood estimation applied to generative models or by a local maximizer applied to discriminative models. In this talk, we introduce a third approach, an innovative one that learns probability by comparing probabilistic events. In our approach, we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002